<?php
	echo $a;